Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
221	This is a preprint of an article whose final and definitive form will be/is published in The Australasian Journal of Philosophy [2008]; The Australasian Journal of Philosophy is available online at: http://journalsonline Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2010-12-20 13:23:41 Causality Social philosophy Metaphysics Harry Frankfurt Moral responsibility Frankfurt Modal logic Counterexample Action theory Philosophy Free will Philosophy of life
222	Computational Complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas Inaugural-Dissertation zur Erlangung des Doktorgrades Add to Reading List Source URL: kups.ub.uni-koeln.de Language: English - Date: 2011-03-28 06:57:24 NP-complete problems Logic in computer science Complexity classes Boolean algebra 2-satisfiability Boolean satisfiability problem Conjunctive normal form Outerplanar graph Planar graph Theoretical computer science Graph theory Computational complexity theory
223	An Introduction to Binary Decision Diagrams Henrik Reif Andersen x Add to Reading List Source URL: fooo.fr Language: English - Date: 2013-02-15 14:26:20 Logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Propositional variable Truth table Canonical form Boolean algebra Mathematics Mathematical logic
224	Laws of Form: Why Spencer-Brown is missing the point Add to Reading List Source URL: sammelpunkt.philo.at Language: English Laws of Form Logic Mathematical logic Abstraction Identity Distinction G. Spencer-Brown Structure Mathematics Algebra Boolean algebra
225	Logic and Interactive RAtionality Yearbook 2012 Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2014-04-15 11:06:42 Knowledge Subgame Extensive-form game Logic Trembling hand perfect equilibrium Nash equilibrium Solution concept Common knowledge Game theory Problem solving Science
226	Lev Manovich DATABASE AS A SYMBOLIC FORM The Database Logic After the novel, and subsequently cinema privileged narrative as the key Add to Reading List Source URL: cuma.periplurban.org Language: English - Date: 2008-06-16 13:30:18 Computing Digital media Relational database management systems Electronic literature Lev Manovich Year of birth missing Database New media Object database Database management systems Data management Software
227	Electronic Journal of Differential Equations, Vol[removed]), No. 163, pp. 1–22. ISSN: [removed]URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu GOURSAT PROBLEM FOR THE YANG-M Add to Reading List Source URL: ejde.math.txstate.edu Language: English - Date: 2011-12-13 01:00:00 Science Numerical software Artificial intelligence COMPASS/Sample Code GEC Knowledge representation Logic form Natural language processing
228	The Complexity of Unique -SAT: An Isolation Lemma for -CNFs Chris Calabro Russell Impagliazzo Valentine Kabanets Ramamohan Paturi Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-10-29 20:04:40 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Conjunctive normal form Local search PP NP-complete Theoretical computer science Computational complexity theory Applied mathematics
229	Journal of Artificial Intelligence Research[removed]204 Submitted 06/07; published[removed]Conjunctive Query Answering for the Description Logic SHIQ Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:21:15 Finite model theory Ontology Descriptive complexity Conjunctive query Database theory Computational complexity theory Conjunctive normal form FO Description logic Theoretical computer science Mathematics Mathematical logic
230	"Lessons In Electric Circuits, Volume IV -- Digital" Add to Reading List Source URL: www.allaboutcircuits.com Language: English - Date: 2014-02-02 23:56:23 Mathematical logic Electronic design automation Boolean algebra Binary arithmetic Electronic design Digital electronics Logic gate Binary numeral system Canonical form Electronic engineering Mathematics Algebraic logic

UPDATE